Перевод: с немецкого на русский

с русского на немецкий

система термов

См. также в других словарях:

  • система термов — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m …   Fizikos terminų žodynas

  • СВОБОДНАЯ АЛГЕБРАИЧЕСКАЯ СИСТЕМА — свободный объект в нек ром классе алгебраич. систем. Пусть непустой класс алгебраич. систем (см. Алгебраических систем класс). Система Рназ. свободной в классе , или свободной, если она принадлежит классу и обладает таким множеством Xпорождающих …   Математическая энциклопедия

  • Алгебраическая система — (или алгебраическая структура) в универсальной алгебре  множество (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Алгебраическая система с пустым множеством отношений… …   Википедия

  • ГЕНЦЕНА ФОРМАЛЬНАЯ СИСТЕМА — логико математич. исчисление, служащее для формализации и исследования содержательных доказательств, оперирующих с допущениями (гипотезами). Введены Г. Генценом (G. Gentzen, |2]). Г. ф. с. делят на системы естественного вывода (или натуральные,… …   Математическая энциклопедия

  • Termsystem — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m …   Fizikos terminų žodynas

  • système des termes — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m …   Fizikos terminų žodynas

  • term system — termų sistema statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m …   Fizikos terminų žodynas

  • termų sistema — statusas T sritis fizika atitikmenys: angl. term system vok. Termsystem, n rus. система термов, f pranc. système des termes, m …   Fizikos terminų žodynas

  • символика логическая — система знаков (символов), используемая в логике для обозначения термов, предикатов, выска зываний, логических функций, отношений между высказываниями. В разных логических системах могут использоваться различные системы обозначений, поэтому ниже… …   Словарь терминов логики

  • типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… …   Словарь терминов логики

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»